Hoffman's Interface Theory